50

Effective homology of bicomplexes, formalized in Coq

Year:
2011
Language:
english
File:
PDF, 281 KB
english, 2011